Object Process Methodology - PDFSEARCH.IO - Document Search Engine

Object Process Methodology
Results: 228

#	Item
191	Assisted Generation of Frame Conditions for Formal Models Philipp Niemann1 1 Frank Hilken1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-09 04:53:38 Software engineering Unified Modeling Language Computing Theoretical computer science ECO Postcondition Systems Modeling Language Object Process Methodology Modeling language Profile Class diagram Economic model
192	From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification Frank Hilken1 , Philipp Niemann1 , Martin Gogolla1 , and Robert Wille1,2 1 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-05-12 07:14:06 Unified Modeling Language ISO standards Architecture description language Object Constraint Language Class diagram ECO Object Process Methodology Metamodeling Element Diagram Activity diagram Object diagram
193	Detecting Strange Objects via Visual Attributes Babak Saleh ∗ ∗ Add to Reading List Source URL: paul.rutgers.edu Language: English - Date: 2014-12-01 03:20:18 Outline of object recognition Abnormality Anomaly detection Normality Object Process Methodology Object detection Computer vision
194	Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2 Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-13 11:14:12 Unified Modeling Language Systems engineering Engineering Systems science Software engineering Model transformation Model theory Metamodeling Object Process Methodology Scientific modelling
195	Journal of Memory and Language 43, 576 –doi:jmla, available online at http://www.idealibrary.com on Conventional Language: How Metaphorical Is It? Boaz Keysar University of Chicago Add to Reading List Source URL: psychology.uchicago.edu Language: English - Date: 2007-07-25 08:36:12 Semantics Cognitive linguistics Cognitive science Sam Glucksberg Conceptual metaphor Philosophy of language Metaphor Analogy Object Process Methodology Linguistic relativity Mapping Meaning
196	Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:19 Unified Modeling Language Systems engineering Software engineering Computing Systems science Object Constraint Language Metamodeling Model-driven architecture Platform-specific model Object Process Methodology MMT QVT
197	Tabletop Displays for Small Group Study: Affordances of Paper and Digital Materials Anne Marie Piper and James D. Hollan Distributed Cognition and Human-Computer Interaction Laboratory Department of Cognitive Science, Un Add to Reading List Source URL: hci.ucsd.edu Language: English - Date: 2011-09-02 12:17:47 Education Educational psychology DiamondTouch Surface computing Educational technology Study skills Object Process Methodology Textbook
198	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Specification language Refinement Abstract state machines Specification Object Process Methodology Domain-specific language Programming language Integrated circuit design Formal specification Isabelle Program derivation
199	GOOL: A Generic OO Language Jason Costabile Department of Computing and Software McMaster University April 26, 2012 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Programming paradigms Object-oriented programming Cross-platform software Software development process Domain-specific language Programming language Python Software development methodology C Software engineering Computing Computer programming
200	Formal Methods & Traditional Engineering: by Michael Jackson Introduction Formal methods have not been taken up by industry to the extent that their creators and advocates think desirable. Certainly there have been some Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-21 08:48:50 Architectural design Formal methods Engineering Design Reliability engineering Software development process Object-oriented programming Software development methodology Human factors Software development Science Software

UPDATE